退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:RustBelt:确保Rust编程语言的基础
Jung, Ralf; Jourdan, Jacques-Henri; Krebbers, Robbert; Dreyer, Derek;
机译:第46届国际自动机,语言和编程(ICALP 2019) - 轨道C:网络和多功能系统的基础
机译:塑造编程语言的基础
机译:编程语言基础(第二版)
机译:RustBelt:未来安全系统编程的逻辑基础
机译:一种依赖类型的编程语言,可应用于基本的确定性代码系统。
机译:eJIAS和百时美施贵宝基金会的确保未来计划
机译:用于以编程语言虚拟存储并保护存储的系统和方法
机译:编程语言中的虚拟内存和存储内存的系统和方法
机译:用于向系统动态地提供安全的混合语言组件的系统,方法,装置,移动终端和计算机程序产品
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。